﻿/*============================================
 * 类名 :MiddleParameter
 * 描述 :存储中间过程
 *   
 * 创建时间: 2010-1-25 13:01:25
 *============================================*/
using System;
using System.Collections.Generic;

using System.Text;

namespace 命题证明
{
    //这个类主要是为了显示真值表的计算过程，在这个逻辑证明中没有多大的作用。
    /// <summary>计算真值表的中间过程，因为表达式的结果是一步步得到</summary>
    struct MiddleParameter
    {
        //public MiddleParameter() { }
        public MiddleParameter( Node n, bool v )
        {
            node = n;
            _value = v;
        }

        Node node;
        public Node Node
        {
            get { return node; }
            set { node = value; }
        }

        bool _value;
        public bool Value
        {
            get { return _value; }
            set { _value = value; }
        }

    }
}
